QED$65916$ - traduzione in olandese
PROPOSAL FOR A COMPUTER-BASED DATABASE OF ALL MATHEMATICAL KNOWLEDGE
The QED Project; QED Project; QED Manifesto; QED project; Project QED
QED
n. w.w.w.a. (wat we wilden aantonen)
Definizione
QED
¦ abbreviation
1. quantum electrodynamics.
2. quod erat demonstrandum.
Wikipedia
QED manifesto
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. (Q.E.D. means quod erat demonstrandum in Latin, meaning "which was to be demonstrated.")
